منابع مشابه
Weighted Logic
While logic provides an appealing formalism for knowledge representation and reasoning, it is not without drawbacks. There are many aspects of human reasoning that are not adequately handled by pure logic. (Of course there are also many aspects that we would rather avoid capturing.) For example, suppose a human is told that “all aliens are blue”. Later, however, the human also learns the fact t...
متن کاملSlicing Concurrent Logic Programs
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we address the problem of slicing concurrent logic programs. To solve this problem, we propose three types of primary program dependences between arguments in concurrent logic programs, named the sharing dependence, communication dependence and uni cation dependence. We als...
متن کاملSubjective Concurrent Separation Logic
From Owicki-Gries’ resource invariants and Jones’ rely/guarantee to modern variants based on separation logic, axiomatic program logics for concurrency have a limited form of compositionality. Proving non-trivial properties usually requires the use of auxiliary state, which is “objective” in the sense that each thread’s auxiliary state is given a globally-unique name. Since auxiliary state expo...
متن کاملConcurrent Multicast in Weighted Networks
Concurrent multicast is the problem of information dissemination from a set of source nodes to a set of destination nodes in a network with cost function: Each source node s needs to multicast a block of data B(s) to the set of destinations. We are interested in protocols for this problem which have minimum communication cost. We consider both the usual case in which any transmitted message can...
متن کاملRevisiting concurrent separation logic
We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal. One uses a denotational semantics (based on traces). The other is based on SOS, but was obtained only for a fragment of the logic — the Disjoint CSL — which disallows modifying shared varia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2015
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2015.07.002